Applying Model-Based Testing to HTML Rendering Engines - A Case Study

نویسندگان

  • Jens R. Calamé
  • Jaco van de Pol
چکیده

Conformance testing is a widely used approach to validate a system correct w.r.t. its specification. This approach is mainly used for behavior-oriented systems. BAiT (Behavior Adaptation in Testing) is a conformance testing approach for data-intensive reactive systems. In this paper, we validate the applicability of BAiT to systems, which are not behavior-oriented (reactive) but document-centered. In particular, we apply BAiT to the test of the HTML rendering engine Gecko, which is used by Mozilla Firefox. In order to do so, we formally specify a part of the CSS box model in the specification language μCRL and implement a wrapper for the Gecko renderer. Then, we automatically generate test cases and run tests with BAiT in a controlled experiment in order to demonstrate our approach on the relevant part of Gecko.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Applying Grey E-S-QUAL Model to Evaluate the Gaps between Expectation and Perception of the Customer Based on E-services Quality: A Case Study of an Iranian Online Retailer

This study aims to apply Grey system based on modified E-S-Qual model to analyze e-service quality.Questionnaires on the basis of E-S-Qual model, which consisted in 7 dimensions, were distributed among customers of 5040.ir, an online retailer in Iran. 251 questionnaires were obtainedfrom the customer’s website. After applying the method and calculating the scores in each dimension, the gap betwe...

متن کامل

A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing

Pixelated images of mathematical formulae, which are inaccessible to screen readers and computer algebra systems, disappeared recently from Wikipedia. In this paper, we describe our efforts in maturing mathoid, the new services that provides better math rendering to Wikipedia, from a research prototype to a production service and a novel visual similarity image comparison tool designed for regr...

متن کامل

Managing Complex Documents Over the WWW: A Case Study for XML

The use of the WWW as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifi...

متن کامل

Research and Assessment of Applying Dimethyl Ether “DME” Extracted from Natural Gas “Ng”, on Diesel Engine as a Clean Fuel (TECHNICAL NOTE)

Due to the shortage of liquid hydrocarbon fuels for compression ignition engines, researchers have constantly been looking for alternative fuels. Recently, dim ethyl ether (DME) with its interesting properties, such as high cetane number and low exhaust emission has drawn a lot of interst as a suitable fuel for diesel engines. The main objective of this study was to assess the potentials and fe...

متن کامل

Applying Ontology to the Web: A Case Study

This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate this content to common ontologies that provide contextual information about the domain. Using this information, query systems can provide more accurate responses than are possible with the search engines available on ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008